-- Right chain, : case, 2 operators with p(a) == p(:)
k :: Int
k =
  1
    ++ 2
    ++ 3
    ++ 4
    : 5
    ++ 6
    ++ 7
    ++ 8
